Analyzing Flowgraphs with ATL

Analysis of Real-Time Systems by Data Flowgraphs

The concept of a data flowgraph is formalized as a bipartite directed graph. Each execution sequence of a computer program has a corresponding data flowgraph which describes functionally what happens to the data if that execution sequence is followed. The data flowgraph gives information which is useful in analyzing parallel processing, test case preparation, error analysis, and program verific...

Asymptotic Enumeration of Predicate-Junction Flowgraphs

We consider unlabelled flowgraphs for a model of binary logic without the constraints of structured programming. The number of such flowgraphs is asymptotic to (3.4n)n/2, where n is the number of nodes in the flowgraph. This is to be compared with bounds of between (8.8)n/2 and of (9.8)n/2 for unlabelled structured flowgraphs of the Böhm and Jacopini type. Of the space of flowgraphs we study, 4...

Computing Cyclomatic Complexity with Cubic Flowgraphs

Two new methods for the computation of cyclomatic complexity especially for decomposable representations are introduced. Building software by integration is a developing paradigm, especially enabled by the emerging component technologies. Decomposition of the design for a top-down approach is a prerequisite for this paradigm. Cubic flowgraphs are instrumental in providing formalisms for decompo...

Interaction of perforin and granzyme B and HTLV-1 viral factors is associated with ATL development

Objective(s): Human T cell leukaemia virus type 1 (HTLV-1) is associated with adult T cell leukaemia (ATL), a malignant lymphoproliferative disease that infects CD4 T cells. It is not clear why the majority of HTLV-1-infected individuals remain asymptomatic carries (ACs) and a minority develop ATL. Cellular immune response has a critical role in ATL and destroys malign...

Contralateral Pedicled Anterolateral Thigh Flap (ATL) for Upper Thigh Defect in the Era of Free ATL?